/* auxlib.h */

void itoa(int n, char * s);
int atoi(char * s);
int strlen(char * s);
void reverse(char * s);
int strcmp(char * s, char * t);
int strncmp (char *s, char *t, int n);
int isSpace(char c);
